Automated Test Data Generation Based on Branch Coverage for Testing C Programs
نویسندگان
چکیده
منابع مشابه
Automated Test Data Generation Based On Matching Combination and Testing Matrix For Pairwise Testing
Based on the model of matrix, a new algorithm for original pairwise testing data set generation is first proposed, and then, based on which, a sufficient and necessary condition for the minimum pairwise testing data set generation of the testing system T is given, where T has n different parameters, each parameter has n different values, and n is a prime number. Finally, according to the given ...
متن کاملGenerating Test Data for Branch Coverage
Branch coverage is an important criteria used during the structural testing of programs. In this paper, we present a new program execution based approach to generate input data that exercises a selected branch in a program. The test data generation is initiated with an arbitrarily chosen input from the input domain of the program. A new input is derived from the initial input in an attempt to f...
متن کاملSAT Based Automated Test Case Generation For MUMCUT Coverage
MUMCUT is a criterion for testing Boolean specifications. The traditional test case generation methods for this problem are based on approximate approaches. The efficiency of these algorithms depend on the designers’ experience on this coverage. In this paper, the authors apply SAT based method to solve this problem. Two SAT solvers, walksat and zChaff, are employed to generate approximate and ...
متن کاملAutomated Software Test Data Generation for Complex Programs
We report on GADGET a new software test generation system that uses combinatorial optimization to obtain condition decision coverage of C C programs The GADGET system is fully automatic and supports all C C language constructs This allows us to generate tests for programs more complex than those previously reported in the literature We address a number of issues that are encountered when automa...
متن کاملAutomated Test Generation for AspectJ Programs
Aspect-oriented software development (AOSD) is a new paradigm that improves separation of concerns in software development. AOSD has gained popularity with the adoption of languages such as AspectJ. Automated test generation for AspectJ programs is important for reducing the manual effort in testing AspectJ programs. This position paper proposes Wrasp, a framework for automatic generation of te...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of the Korea Contents Association
سال: 2012
ISSN: 1598-4877
DOI: 10.5392/jkca.2012.12.11.039